Alexander Enzmann wrote:

> No - the Peano axioms don't require any numbers to start with.  Only a
> thing and the concept of a successor of that thing.  Standard formal
> logic stuff.  Of course it takes Bertrand Russel a couple of hundred
> pages in his Principles of Mathematics to get to the point that you can
> show that 1 + 1 = 2.
>
> Xander

I doubt it. 2 is the successor of 1 and the equation

                                     1 + 1 =  2

is a symbolic way to state this fact.

Alberto

Post a reply to this message